It is necessary for explaining the concept of programming to design a small and suitable model programming language family with a clear syntactic and semantic definition. 设计具有清晰语法定义、简单合适的程序设计语言模型,对于解释程序设计语言是非常必要的。
The main contents of this paper are: semantic and syntactic extention of Prolog, augmentation and modification of WARREN abstract machine, important components and running procedure of the compiler, and seven definition rules for syntactic structure coding. 本文主要介绍:PROLOG语言的语义、语法扩充,主要是函数定义、函数调用和表达式计算;对WARREN抽象机数据结构、指令的增加和修改;
In the author's point of view, Subject of Chinese is a syntactic definition, a part of syntactic structure. 本文系统考察了主语和话题的定义,认为汉语的主语是一个语法学的概念,是句子的语法结构成分;
We can define the relation of meanings and especially the truth of logic-mathematic statements by just examining the kinds and sequences of symbols ( i.e., syntactic rules). This is the criteria of validity which analytical definition develops. 我们仅通过考察符号的类别和顺序(句法规则)就可以确定意义关系问题,尤其是能够确定逻辑-数学语句的真值,这就是分析性定义所确立的有效性标准。